Local properties of Boolean functions I: injectivity
نویسندگان
چکیده
منابع مشابه
Testing Properties of Boolean Functions
Given oracle access to some boolean function f, how many queries do we need to test whether f is linear? Or monotone? Or whether its output is completely determined by a small number of the input variables? This thesis studies these and related questions in the framework of property testing introduced by Rubinfeld and Sudan (’96). The results of this thesis are grouped into three main lines of ...
متن کاملOn the injectivity of Boolean algebras
The functor taking global elements of Boolean algebras in the topos ShB of sheaves on a complete Boolean algebra B is shown to preserve and reflect injectivity as well as completeness. This is then used to derive a result of Bell on the Boolean Ultrafilter Theorem in B-valued set theory and to prove that (i) the category of complete Boolean algebras and complete homomorphisms has no non-trivial...
متن کاملInjectivity of Composite Functions
The problem of deciding injectivity of functions is addressed. The functions under consideration are compositions of more basic functions for which information about injectivity properties is available. We present an algorithm which will often be able to prove that such a composite function is injective. This algorithm constructs a set of propositional Horn clause axioms from the function speci...
متن کاملLocal Maxima of Quadratic Boolean Functions
Combinatorics, Probability and Computing / Volume 25 / Issue 04 / July 2016, pp 633 640 DOI: 10.1017/S0963548315000322, Published online: 21 December 2015 Link to this article: http://journals.cambridge.org/abstract_S0963548315000322 How to cite this article: HUNTER SPINK (2016). Local Maxima of Quadratic Boolean Functions. Combinatorics, Probability and Computing, 25, pp 633-640 doi:10.1017/S0...
متن کاملApproximation Properties of Positive Boolean Functions
The universal approximation property is an important characteristic of models employed in the solution of machine learning problems. The possibility of approximating within a desired precision any Borel measurable function guarantees the generality of the considered approach. The properties of the class of positive Boolean functions, realizable by digital circuits containing only and and or por...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1975
ISSN: 0012-365X
DOI: 10.1016/0012-365x(75)90015-1